Zeyda, Frank: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Unifying theories of time with generalised reactive processes

Foster, Simon, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 298 KB

english, 2018

2

A unification of probabilistic choice within a design-based model of reversible computation

Stoddart, Bill, Zeyda, Frank

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

3

[IEEE 2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC) - Las Vegas, NV, USA (2018.1.8-2018.1.10)] 2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC) - Modeling and analysis of the disruptor framework in CSP

Fang, Yucheng, Zhu, Huibiao, Zeyda, Frank, Fei, Yuan

Year:

2018

Language:

english

File:

PDF, 743 KB

english, 2018

4

A tactic language for refinement of state-rich concurrent specifications

Marcel Oliveira, Frank Zeyda, Ana Cavalcanti

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 849 KB

english, 2011

5

[ACM Press the 9th International Workshop - York, United Kingdom (2011.09.26-2011.09.28)] Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '11 - Safety-critical Java in Circus

Cavalcanti, Ana, Wellings, Andy, Woodcock, Jim, Wei, Kun, Zeyda, Frank

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

6

Unifying theories of reactive design contracts

Foster, Simon, Cavalcanti, Ana, Canham, Samuel, Woodcock, Jim, Zeyda, Frank

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.90 MB

english, 2019

7

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages

Bill Stoddart, Robert Lynas, Frank Zeyda

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 330 KB

english, 2010

8

Supporting ArcAngel in ProofPower

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

9

[IEEE 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Kowloon Tong, Hong Kong (2015.10.9-2015.10.12)] 2015 IEEE International Conference on Systems, Man, and Cybernetics - An Empirical Analysis of Neurofeedback Using PID Control Systems

Zeyda, Frank, Aranyi, Gabor, Charles, Fred, Cavazza, Marc

Year:

2015

Language:

english

File:

PDF, 523 KB

english, 2015

10

Mechanical Reasoning about Families of UTP Theories

Frank Zeyda, Ana Cavalcanti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

11

Mechanised support for sound refinement tactics

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 373 KB

english, 2012

12

Safety-critical Java programs fromCircusmodels

Ana Cavalcanti, Frank Zeyda, Andy Wellings, Jim Woodcock, Kun Wei

Journal:

Real-Time Systems

Year:

2013

Language:

english

File:

PDF, 3.70 MB

english, 2013

13

Laws of mission-based programming

Zeyda, Frank, Cavalcanti, Ana

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 2.99 MB

english, 2015

14

Unifying semantic foundations for automated verification tools in Isabelle/UTP

Foster, Simon, Baxter, James, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.72 MB

2020

15

Mechanical reasoning about families of UTP theories

Frank Zeyda, Ana Cavalcanti

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 536 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски